1.
Proof, Computation and Agency : Logic at the Crossroads
by Benthem, Johan F. A. K. van...
ISBN: 9789400700796
List Price: $189.00
3.
The Logic of Time: A Model-Theoretic Investigation into the Varieties of Temporal Ontology ...
by Benthem, Johan F. A. K. van
ISBN: 9789048140824
List Price: $202.00
4.
Handbook of Logic and Language
by van Benthem, Johan F. A. K....
ISBN: 9780444537263
List Price: $200.00